Cylindric algebra